例句與造句

1. Cultural psychological analysis of camel xiangzi and semantic interpretation
   的文化心理分析與語義詮釋
2. A comparison on the semantic interpretation and formalization of generic sentences
   概稱句的語義解釋及形式化比較研究
3. Naturally , we expect the semantic interpretation and operation to be constant across such providers
   我們自然期望在這樣的提供者之間語義解釋和操作都能保持一致。
4. The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
   定義了擴展模糊描述邏輯的語法結構、語義解釋、知識庫形式以及基于可滿足性的推理問題。
5. By such a formalization , a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications , which forms the continuation of the previous work on formalization of uml class diagrams in rsl . this allows the definition of uml semantic interpretations that are precise and unambiguous , and also enhancing the readability , conciseness and abstraction of the resulting rsl specification
   通過這一形式化提出了一種對圖形化的uml狀態(tài)機視圖模型的形式化和rsl規(guī)范進行集成的框架，這一工作是對uml類圖在rsl中形式化的繼續(xù)，使得人們可以對uml的非形式化模型給出一種精確無二義性的語義解釋，同時也提高了rsl規(guī)范的抽象層次，增強了其可讀性簡明性。
6. It's difficult to find semantic interpretation in a sentence. 用semantic interpretation造句挺難的
7. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part , we introduced quantifiers and predicate into lmp ( x ) , put up lattice - valued modal first - order logic system lmf ( x ) , and gave its semantic interpretation and syntax structure , proved soundness theorem and consistence theorem . moreover , in order to judge the satisfiability of formula , defined skolem standard type and h - interpretation . based on these work , made a primary discussion of a - resolution principle based on lmf ( x )
   第三部分：關于格值模態(tài)一階邏輯系統(tǒng)及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態(tài)命題邏輯系統(tǒng)lmp隊）中引進量詞和謂詞，建立格值模態(tài)一階邏輯系統(tǒng)lmf （廣并給出其語又解釋和語法結構，證明了系統(tǒng)的可靠性和協(xié)調(diào)性；另外，為了判斷公式的可滿足性，定義了格值模態(tài)一階公式的skolem標準型和體解釋；在此基礎上，對基于系統(tǒng)lmf （ ）的a一歸結原理進行了初步探討
8. Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ) , f ( will ) , h ( ever always ) and g ( will always ) into lp ( x ) , put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance , gave detailed semantic interpretation and syntax structure , and discussed some properties of it , then proved soundness theorem and consistence theorem . furthermore , studied ( a , t ) - resolution principle which is related to time , gave some rules of computing tense resolvent , and put forward the method of tense resolution
   第二部分：關于格值時態(tài)命題邏輯系統(tǒng)及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統(tǒng)lp ( x )中引進時態(tài)算子e (曾經(jīng)) 、 f (將會)及其對偶算子h (曾經(jīng)總是) 、 g (將會總是) ，提出了以時軸為語境的格值時態(tài)命題邏輯系統(tǒng)ltp ( x ) ，并給出其具體的語義解釋和語法結構，并討論了它的一些性質(zhì)，證明了該系統(tǒng)的可靠性和協(xié)調(diào)性。